/*******************************************************************************
* BSP
* ===
*
* The mainline of any test or demo needs to be devoid of hardware-specific
* functionality.  Instead general functions like `led_on()` or `start_adc()` or
* the like need to be used and the hardware implementation of these defined here
* in the BSP file.
*
* The absolute first thing that has to be provided is printf support so that
* program and demo outputs can be seen either on the console or on a serial port
* as appropriate.
*******************************************************************************/

#include <stdio.h>

#include "bsp.h"

/***************************************
* Global system-wide variables
***************************************/

volatile uint32_t systick_counter;

/***************************************
* BSP functions for AT32F403AVG
***************************************/

void bsp_initialize()
{
}

/***************************************
* ISRs
***************************************/

void SysTick_Handler(void)
{
    systick_counter++;
}
